#ifndef __PANTHERA__
#define __PANTHERA__

#include "acgcc.h"

#undef ACPI_USE_STANDARD_HEADERS
#undef ACPI_USE_SYSTEM_CLIBRARY
#undef va_arg

#define ACPI_USE_LOCAL_CACHE
#define ACPI_FLUSH_CPU_CACHE()

#define ACPI_APPLICATION

#define COMPILER_DEPENDENT_INT64   long long
#define COMPILER_DEPENDENT_UINT64  unsigned long long
#define ACPI_MACHINE_WIDTH          32

#define ACPI_DIV_64_BY_32(n_hi, n_lo, d32, q32, r32) \
{                           \
    q32 = n_hi / d32;       \
    r32 = n_lo / d32;       \
}

#define ACPI_SHIFT_RIGHT_64(n_hi, n_lo) \
{                           \
    n_hi >>= 1;    \
    n_lo >>= 1;    \
}

#endif
